verification de types | Factae