Design of an explicit expression of the Poincaré map for the passive dynamic walking of the compass-gait biped model. (January 2020)