
001. Bug envoy par Loic Pottier le 240497 (fichier ci-contre)

002. test de la presence de sections ouvertes => impossibilite de compiler
     voir dans genpp.ml, TODO.

004. Inductive Truc : Set->Set :=
       chose  : (A:Set)(Truc A)
     | machin : (A:Set)A->(Truc bool)->(Truc A)

     donne  l'extraction

	type truc = chose | machine of a * (bool truc)

006. ML Import toto : X -> Y
	
     dtecter tout de suite si X ou Y ne sont pas des types ML, 
     et non pas au moment de l'extraction.
