travaux sur le canal maître de Manosque