Cette résolution à la Petrus se tremine par une PLL A, à moins que ce ne soit ASym.