Detail sur un texte

Bonjour,

Mon entreprise déménage bientôt, et avec quelques collègues on se posait une question concernant la sale de restauration qui n'est pas prévu dans les locaux sachant qu'un RIE est à notre disposition en partie financé par l'employeur.

Après quelques recherches, d'après l'article R232-10-1 du code du travail, "Dans les établissements où le nombre de travailleurs désirant prendre habituellement leur repas sur les lieux de travail est au moins égal à vingt-cinq, l'employeur est tenu, après avis du comité d'hygiène, de sécurité et des conditions de travail [*CHSCT*] ou à défaut des délégués du personnel, de mettre [*mis*] à leur disposition un local de restauration."

Alors je voulais savoir si un RIE correspond à ce qui est appelé "local de restauration" ?

Merci d'avance.