Définitionsordinaticienne