Vérification de la CREE : Des performances peu satisfaisantes