Le calcul logique de Roberval - Jullien, Vincent (2011)