Fin de la mise en place des poinçonneuses automatiques dans le métro parisien