!let exotitre=Nat-fnct Max Maj Born, Nat-fnct Oprations,Nat-fnct Divers, Nat-fnct d'une variable libre, Nat-fnct Prdicats, variables libres-lies,Typage
!let exotype=1,1,1,1,3,4,1
!let exoaff=1,1,1,1,3,4,1
!let exofiche=Natfnct-max,Natfnct-ope,Natfnct-div,Natfnct-var,Natfnct-pred,variables,bientyper

!let exototal=!itemcnt $exotype
