Utilisation des POSet dans nitg