Décès du général Mansion, « leader » du premier raid des Jaguar français lors de l’opération Tempête du désert