1 Le port du masque est obligatoire dans tous les commerces et magasins.

2 Les enfants de moins de douze ans sont dispensés de cette obligation.

Cette modification est entrée en vigueur le 6 juillet 2020 et déploie ses effets pendant
deux mois à compter de son entrée en vigueur. Elle a été publiée au Journal officiel
le 16 juillet 2020 (JOJ 2020 p. 493).

C. A.________ (ci-après le requérant) a déposé le 3 juillet 2020 une requête de mesures
provisionnelles tendant à empêcher l’entrée en vigueur de la modification du 6 juillet
2