Travaux de réparation des portes des écluses du canal du midi, par les chaudronniers de l'équipe des voies navigables de France