Philippe Virmoux, biographie et bibliographie