Les formations du sous-domaine Relations binaires