Fin de mutinerie à la maison centrale de Saint-Maur : ce que l'on sait