Informatique des Deux Infinis / NPAC / Validator