Définitionsnom semi-trivial