Définition de supplémentaire