Mariscal Petain - Castro Ruiz, Ernesto (Promoción y Ediciones, 1980)