5 résultats

Visualiser le document
Monographie
Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions
Castéran Pierre, Castéran, Pierre | Springer | 2010
Visualiser le document
Monographie
L'Afrique déboussolée
Casteran Christian, Langellier Jean-Pierre, García Márquez Gabriel | Plon | C 1978
Visualiser le document
Monographie
Dossiers secrets de l'Afrique contemporaine: Tome 2
Andriamirado Sennen | JA Press | DL 1989
Visualiser le document
Monographie
L'Afrique déboussolée
Casteran Christian, Langellier Jean-Pierre, García Márquez Gabriel | Plon | 1978
Visualiser le document
Monographie
Chercher fortune en Nouvelle-France
Hardy Jean-Pierre, Castéran Nicole, Archambault Gilles | LIBRE EXPRESSION | DL 2007