fix: supprimer les vidéos PeerTube lors de la suppression d'un TFE

- Ajout de PeerTubeService::deleteVideo() qui appelle DELETE /api/v1/videos/{uuid}
- deleteThesisFileToTrash() appelle maintenant deleteVideo() pour les fichiers peertube_ids:
- hardDeleteThesis() supprime aussi les vidéos PeerTube associées

TODO.md

@@ -1,11 +1,6 @@
 # TODO
 
-- [x] Standardise all links (including header) to be heavy (font-weight: 600) and add violet accent color on hover
-- [x] Remove border-radius from aria-current nav links, drop a:focus-visible ring in header, consolidate border-bottom/padding in shared header.css
-- [x] Admin nav-logo: use grid layout with SVG + text horizontally aligned and vertically centered
-- [x] repertoire.css: .rep-entry → step-1, years col → step-3, col h2 → step-1
-- [x] Rework tfe.php layout: row1 author above title, row2 meta+synopsis 2-col grid, row3 flex files
-- [x] Contacts: allow empty name OR empty role (not both) when saving a contact
-- [x] Sidebar links: make "site de l'erg" and "code source" editable via admin panel
-- [x] Admin contact blocks: grid layout (3 columns: Nom, Email, Lien)
-- [x] Admin contacts: bouton supprimer un contact avec réindexation automatique
+- [x] Ajouter `PeerTubeService::deleteVideo()` pour supprimer une vidéo via l'API PeerTube
+- [x] Modifier `deleteThesisFileToTrash()` pour appeler `deleteVideo()` quand `file_path` commence par `peertube_ids:`
+- [x] Modifier `hardDeleteThesis()` pour supprimer les vidéos PeerTube associées
+- [ ] Commit + jj new