Agrandir l’école, combien ça va coûter ?