Aménagement batardeau du Barrage de Villerest (42)