"Exigences vérifiables"