Diagnostics de propriétés et vérifications