Opération « Mai sans tondeuse » : ne pas tondre sa pelouse pendant un mois est-il vraiment bénéfique ?