L’Encyclopédie/1re édition/DESTRIER

DESTRIER, s. m. (Manége.) vieux mot qui signifie un cheval de main ou de bataille. Il est opposé à palefroi qui étoit un cheval de cérémonie ou de service ordinaire. Diotionn. de Trév. (V)