Il est constant que cette désignation était restreinte à la procédure fédérale de révision. En droit, le Tribunal fédéral a admis la demande de révision en tant qu'elle portait sur les arrêts 1B_512/2017 et 6B_865/2018 et l'a rejetée, dans la mesure où elle était recevable, en tant qu'elle portait sur les arrêts 6B_947/2015 et 6F_2/2020 ou d'autres décisions que les deux premiers arrêts cités. La cause a été renvoyée à la cour cantonale. Le Tribunal fédéral a précisé dans ses considérants en droit qu'elle devait être renvoyée à la cour cantonale au stade où se trouvait la procédure le 3 octobre 2017;