Pierre Colin, biographie et bibliographie