verification type dans la libG