Le contrôle de certification avec AFTRAL