Recherches sur l’abstraction réfléchissante : l’abstraction des relations logico-arithmétiques (1977) a