Le CSP et la bataille du prédicat