Merge pull request #5 from lvpeschke/master

Partie complexité
Formalism property: CA misspeling