Définitionsmonoconque