Enseignants tués dans les Hautes-Pyrénées : des gendarmes français en renfort en Espagne