Gp2mv3/Syntheses — pull request #89 by anpar (2014-05-29 21:08:54+00:00)
Title: Minor updates

- Changement d'un titre (Produit scalaire -> Norme et distance) ;
- Suppression d'une déclaration inutile dans une définition ;
- Ajout d'une propriété pour ensembles orthogonaux ;
- Toute petite précision dans la définition d'opérateur diagonalisable ;
- Déplacement d'une remarque à un endroit ou elle est plus facile à comprendre ;
- Définition du vecteur 'h' dans la définition de différentielle ;
- Footnote pour démontrer que différentiabilité => continuité ;
- Footnote pour passer d'une formulation du théorème des valeurs intermédiaires à l'autre ;
- Remarque pour domaine x-simple et y-simple en même temps ;
- Ajout d'une hypothèse manquante pour Poincaré ;
- Ajout définition différentielle exacte ;
- Quelques petites corrections