Jean-Michel Jarre: "Christophe était un d'Artagnan pop, avec des fulgurances à la Devos"