Des tonnes de pierre en surface, des tunnels creusés... où en est le prolongement de la ligne 4?