Ce matin au petit-déjeuner à 6:00, radio. La nouvelle : port du masque obligatoire dans tout l’espace public, à compter de ce jour.