Quelques modifications

Ces modifications comportent sur la vérification de certaines
propriétés.