Jean Vautrin, écrivain