change name file (old MQII.tex) and change 'Espace Euclidien' in 'Espace \(pré-\)hilbertien.'
Add third essential point
package math mis dans include_thm
rajout d'une explication en francais de famille libre
ajout de famille génétrice ainsi que proposition pour la base
add sev engendre par x ainsi que sommes, union et intersection sev.
simple makefile
add makefile and recompile