déjà spécifié