Définitionstrochantinien