Problème de décidabilité et d'effectivité en théorie de complexité. - Georges Werner (1973)