Complétude d'une ZA.