René Amigues, biographie et bibliographie