Calcul et formalisation dans les sciences de l'homme — Journées internationales d'études sur les méthodes de calcul dans les sciences de l'homme (1966 ; Rome)