6. Un peu de théorie¶ 6.1. Preuve d’un algorithme 6.1.1. Terminaison 6.1.2. Correction 6.2. Complexité 6.2.1. Définition générale 6.2.2. Différents cas de complexité 6.2.3. Complexité asymtotique