Author: Augustin Florent Coq.