Christophe Klopp (42d2c7cc) at 08 Nov 12:12
summary update
Christophe Klopp (a05246f0) at 08 Nov 12:03
small corrections
Christophe Klopp (3ab7c1f8) at 08 Nov 09:52
some text improvements
Christophe Klopp (5e2724c1) at 06 Nov 16:48
relecture CK
Christophe Klopp (686e8850) at 16 Jun 11:59
Some correction in the text