Création et restauration des mares en France. Définitions, fonctionnement et techniques d’intervention