Pensée formelle et machine — M J Hippolyte