P. , D. Franckel, and J. J. , La notion de prédicat, 1989.