Du réfectoire. Mais ils appelaient ça. Ils préfèrent d’ordinaire : « C’est Bigadin.