Écluse de Pechlaurier – L'Officiel du Canal du Midi