(Named after Philippe Pétain, Hero and Savior of France during WW1 then Puppet Leader of France on Behalf of Nazi Germany during WW2.)