France: tous les lieux publics dans lesquels le masque est obligatoire à partir de ce lundi 20 juillet