En Fait
Le recourant [A.] a été condamné le 1er septembre 2014 par le Tribunal pénal du canton de Bâle-Ville à une peine pécuniaire avec sursis pour gestion déloyale réitérée, faux dans les titres et infractions fiscales. Il a interjeté appel de cette condamnation auprès de la Cour d'appel du canton de Bâle-Ville. Le 19 décembre 2016, la Cour d'appel a convoqué [A.] et ses deux coaccusés à l'audience principale du 8 mai 2017. [A.] a déposé un recours en matière pénale auprès du TF. Il a demandé la suspension de la procédure d'appel jusqu'à l'adoption d'un règlement judiciaire sur la désignation des formations de jugement, la communication d'une décision motivée sur l'attribution des juges au TF, la renonciation à un acompte sur les frais et la constatation de la nullité du jugement de première instance. Il a également requis la récusation de quatre juges fédéraux.En Droit
Le TF a rejeté le recours dans la mesure où il y était entré en matière:Demandes de récusation contre des juges fédéraux: Le TF n'est pas entré en matière sur la demande de récusation contre le juge fédéral Merkli, faute de motivation. Les demandes de récusation contre les trois autres juges fédéraux ont été rejetées comme non fondées. Un juge n'est pas automatiquement récusable du seul fait qu'il a participé à des procédures antérieures concernant le recourant.
Composition de la formation de jugement: Le TF a considéré que la composition de la formation de jugement de la Cour d'appel s'était faite conformément aux dispositions transitoires en vigueur et répondait aux exigences constitutionnelles et conventionnelles. Les objections…