Quelques corrections sur user-manag.xml

postgresql/user-manag.xml

@@ -485,9 +485,10 @@ DROP ROLE role_a_supprimer;
   </indexterm>
 
   <para>
-   <productname>PostgreSQL</productname> fourni une série de rôles par défaut
+   <productname>PostgreSQL</productname> fournit une série de rôles par défaut
    qui donnent accès à certaines informations et fonctionnalités privilégiées,
-   habituellement nécessaires. Les administrateurs peuvent allouer ces rôles à des utilisateurs et/ou
+   habituellement nécessaires. Les administrateurs peuvent autoriser ces rôles
+   à des utilisateurs et/ou
    à d'autres rôles de leurs environnements, fournissant à ces utilisateurs
    les fonctionnalités et les informations spécifiées.
   </para>
@@ -496,7 +497,7 @@ DROP ROLE role_a_supprimer;
    Les rôles par défaut sont décrits dans <xref linkend="default-roles-table"/>.
    A noter que les permissions spécifiques pour chacun des rôles par défaut peuvent
    changer dans le futur si des fonctionnalités supplémentaires sont ajoutées. 
-   Les administrateurs devraient surveiller les release notes pour en connaitre les changements.
+   Les administrateurs devraient surveiller les notes de versions pour en connaitre les changements.
   </para>
 
    <table tocentry="1" id="default-roles-table">
@@ -511,15 +512,16 @@ DROP ROLE role_a_supprimer;
      <tbody>
       <row>
        <entry>pg_signal_backend</entry>
-       <entry>Envoi de signaux à d'autres processus serveurs (ex: annuler une requête, la terminer).</entry>
+       <entry>Envoie des signaux à d'autres processus serveurs (par exemple pour
+	    annuler une requête ou fermer une session).</entry>
       </row>
      </tbody>
     </tgroup>
    </table>
 
   <para>
-   Les administrateurs peuvent allouer l'accès à ces rôles aux utilisateurs en utilisant 
-   la commande GRANT:
+   Les administrateurs peuvent autoriser l'accès à ces rôles aux utilisateurs en utilisant 
+   la commande GRANT&nbsp;:
 
 <programlisting>
 GRANT pg_signal_backend TO admin_user;