TY - GEN TI - Mathematiques finitaires & analyse non standard CY - Paris N1 - Cuprinde bibliografie ER -