Fix typo and add "Hi"

index.en.html

@@ -5,7 +5,7 @@
 <h2>Olivier Nicole</h2>
 
 <p>
-During daytime, I work for Tarides on <a
+Hello, I’m Olivier. During daytime, I work for Tarides on <a
   href="https://ocaml.org/">the OCaml language</a>, which is a high-level
 language, both safe and performant, that I like a lot. I generally work on free
 or open source software, so you can consult my current activity on <a
@@ -23,7 +23,7 @@ <h2>Olivier Nicole</h2>
   href="http://www-list.cea.fr/en/technological-research/research-programmes/embedded-systems/validation-and-verification">CEA
   List</a> and <a href="https://www.ens.fr/en">ENS</a> under the supervision
 of Matthieu Lemerre and Xavier Rival. I worked on static analysis of low-level
-code in order to verify the security of kernel (among other things).
+code in order to verify the security of OS kernels (among other things).
 </p>
 
 <p>I'm also interested in functional programming, type systems and logic.</p>

index.eo.html

@@ -4,7 +4,7 @@
 
 <h2>Olivier Nicole</h2>
 
-<p>Tagtempe, mi laboras por la firmo Tarides sur <a
+<p>Saluton, mi nomiĝas Olivier. Tagtempe, mi laboras por la firmo Tarides sur <a
   href="https://ocaml.org/">la programlingvo OCaml</a>, kiu estas altnivela
 lingvo, samtempe sekura kaj malmultekosta je resursoj, kiu mi tre ŝatas. Mi
 kutime laboras sur liberaj aŭ malfermitkodaj programaroj, do miaj nunaj aferoj

index.fr.html

@@ -4,11 +4,12 @@
 
 <h2>Olivier Nicole</h2>
 
-<p>En journée, je travaille pour Tarides sur <a href="https://ocaml.org/">le
-  langage OCaml</a> qui est un langage haut niveau à la fois sûr et
-performant que j'apprécie beaucoup. Je travaille en général sur des logiciels
-libres ou open source, donc ce que je fais en ce moment peut être consulté
-sur <a href="https://github.com/OlivierNicole">mon profil Github</a>.
+<p>Bonjour, je m’appelle Olivier. En journée, je travaille pour Tarides sur <a
+  href="https://ocaml.org/">le langage OCaml</a> qui est un langage haut niveau
+à la fois sûr et performant que j'apprécie beaucoup. Je travaille en général
+sur des logiciels libres ou open source, donc ce que je fais en ce moment peut
+être consulté sur <a href="https://github.com/OlivierNicole">mon profil
+Github</a>.
 
 <p>
 Le reste du temps, je lis de la philo ou divers romans (avec un penchant
@@ -21,7 +22,7 @@ <h2>Olivier Nicole</h2>
   List</a> et à <a href="https://www.ens.fr/en">l’ENS</a> sous la supervision
 de Matthieu Lemerre et Xavier Rival.
 Il porte sur l'analyse statique de code bas niveau afin de vérifier la sécurité
-de noyaux (notamment).</p>
+de noyaux de systèmes d’exploitation (notamment).</p>
 
 <p>Outre l'analyse statique, je m’intéresse aussi à la programmation
 fonctionnelle en général, aux systèmes de types et aux systèmes logiques.</p>