▌RESTAURANT DU PERSONNEL DE RICHELIEU FERMÉ?!?