Panne de la ligne b du métro de Rennes : ce que l'on sait