si ça n'existe pas ça vérifie toutes les propriétés qu'on veut ?