Lacunes dans les preuves : enseignement secondaire