France : dans quels lieux publics clos le port du masque sera-t-il obligatoire ?