Il y a vingt ans, le 18 mai 2001, le porte-avions Charles de Gaulle prenait la mer pour la première fois