@alinea

Une traduction collaborative ( partage d’otium) , complète, plutôt mot à mot (pour mieux coller à la pensée du logicien) et gratuite : sous ce lien !