Ordonnance de police rendant obligatoire le port du masque