Lycées fermés, policiers et gendarmes déployés : ce que l'on sait des établissements scolaires menacés d'attentat