Geosynthetics for the protection of buried pressurised pipes against mechanical damages caused by excavating tools.pdf