Axiomatique intuitionniste sans negation de la geometrie projective - Dequoy, Nicole (Collection de logique mathematique. Series A, 1955)