Désinfection des rues : pas d'utilité face au coronavirus, selon le Haut Conseil de la santé publique