Y'a aussi des irm pour idfonc et des iga base 3 de type 2, sans parler des topic Alpha 8.12.500.