Merge pull request #47 from polazarus/pr-ffi-safe-types-fr

Add some missing FFI safe types (fr)

Author: pb-anssi

src/fr/07_ffi.md

@@ -133,7 +133,14 @@ Les types suivants sont considérés comme compatibles avec le C :
 - les `enum`s annotées avec `repr(C)` ou `repr(Int)` (où `Int` est un type
   primitif entier), contenant au moins un variant et dont tous les variants ne
   comportent pas de champ ;
-- les pointeurs.
+- les pointeurs ;
+- les `Option<T>` où `T` est:
+  - `core::ptr::NonNull<U>` et `U` est un type compatible avec le C et `Sized`,
+    auquel cas le type est équivalent à un pointeur `*const T` et `*mut T`,
+  - `core::num::NonZero*`, auquel cas le type est équivalent au type primitif
+    entier correspondant ;
+- les `struct`s annotées avec `repr(transparent)` possédant un seul champ, qui
+  est d'un type C-compatible.
 
 Les types suivants ne sont pas compatibles avec le C :