MySQLi: replace programmeur with développeur (#839)

reference/mysqli/overview.xml

@@ -104,20 +104,20 @@
   </para>
 
   <para>
-    Une extension expose typiquement une API à un programmeur PHP,
+    Une extension expose typiquement une API à un développeur PHP,
     pour lui permettre de faciliter sa programmation. Cependant,
     certaines extensions qui utilisent le framework PHP n'exposent
     pas d'API au développeur PHP.
   </para>
 
   <para>
     L'extension de pilote PDO MySQL, par exemple, n'expose pas d'API au
-    pgrammeur PHP, mais fournit une interface à la couche PDO.
+    développeur PHP, mais fournit une interface à la couche PDO.
   </para>
 
   <para>
     Les termes API et extension ne devraient pas signifier la même chose,
-    car une extension PHP ne fournit pas d'API particulière au programmeur PHP.
+    car une extension PHP ne fournit pas d'API particulière au développeur PHP.
   </para>
 
   <para>
@@ -257,7 +257,7 @@
     Le pilote PDO MYSQL n'est pas une API en tant que tel, au moins du
     point de vue du développeur PHP. En fait, le pilote PDO MYSQL fait partie
     de PDO, et fournit les fonctionnalités particulières à MySQL. Le 
-    programmeur appelle l'API PDO, mais PDO utilise le pilote PDO MYSQL
+    développeur appelle l'API PDO, mais PDO utilise le pilote PDO MYSQL
     pour assurer les communications avec MySQL.
   </para>
 
@@ -270,7 +270,7 @@
   <para>
     Le pilote PDO MYSQL est implémenté avec le framework d'extension de PHP.
     Son code source est situé dans le dossier <filename>ext/pdo_mysql</filename>. 
-    Il n'expose aucune API au programmeur PHP.
+    Il n'expose aucune API au développeur PHP.
   </para>
 
   <para>
@@ -313,7 +313,7 @@
     Le MySQL Native Driver est implémenté sur la base du framework
     d'extension PHP. Le code source est dans 
     <filename>ext/mysqlnd</filename>. Il n'expose aucune nouvelle API
-    au programmeur PHP.
+    au développeur PHP.
   </para>
 
 <!-- TODO