Covid-19 : un portique de désinfection installé à l'entrée d'un supermarché de Haute-Loire