La ligne 4 du métro parisien a fonctionné jusqu’à 9 h 30 mardi matin