Port obligatoire du masque : combien y a-t-il eu de verbalisations ?