Faut-il vraiment arrêter de tondre sa pelouse au mois de mai ?