Forces aériennes 1 juin 2020 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