Un fourgon pénitentiaire attaqué par un commando armé : trois agents ont été tués, ce que l'on sait