Le magistrat François Molins, visage de l'antiterrorisme, tire sa révérence après 46 ans "au service" de la justice