CHEVAL, IN. , PETIT