Règles: ce que nous aimerions exprimer

• Un exemple :

• • “si deux personnes ont le même nom et la même adresse e-mail, ou le même nom et la même page d’accueil, alors ils sont identiques”

• C’est à dire (dans une syntaxe ad-hoc):