Paris : après six ans de travaux, le métro 4 est officiellement en pilotage automatique