Définitionsmonotrou