Philippe Petain was sentenced to death for treason, but the sentence was later commuted to life in prison. He died in 1951 while still a prisoner.
You are correct. I stand corrected.