Revision history of Pierre Le Coq