Elisabeth de Portes Middle School, school restaurant and library in Crassier