Détecter le port du masque dans le métro : l'expérimentation de la RATP