Aussi lourd que 3 porte-avions Charles de Gaulle, ce géant des mers de 112 000 tonnes écrase tous les records militaires