Analyse assistée par ordinateur de systèmes dynamiques linéaires — François Vernadat