Le Mont-Saint-Michel, le réfectoire