Technique d'exécution d'ouvrages souterrains pour poussage de tuyaux.