Ajout d’un utilisateur « tous »

Ajout d’un utilisateur « tous », dont l’adresse e-mail est la liste de diffusion.
Vous pouvez maintenant citer « @tous » dans un commentaire si tout le monde doit être notifié.