Dimensions de l'analyse de la stabilité et de la correction des algorithmes