fix(relecture): un travail vide ou oublie restait affiche et impossible a retirer

Un travail echoue ou expire cote serveur restait dans « Traductions
recentes » : sa page de relecture n'affichait rien (0 segments) avec une
erreur brute non traduite, et aucune suppression n'existait.

- serveur : nouvelle route DELETE /api/v1/translations/{job_id} —
  retire le travail de la memoire et de Redis, supprime ses segments de
  relecture ; idempotente (200 meme si le serveur avait deja oublie le
  travail) ; refuse les travaux en cours (annuler d'abord) ; proprietaire
  seul (404 pour le travail d'autrui, sans reveler son existence)
- interface : bouton corbeille sur chaque ligne des traductions recentes
  (deux clics pour confirmer) qui nettoie la liste locale ET le serveur ;
  l'historique serveur ne liste plus les travaux non termines
- page de relecture : message d'erreur traduit (fini le message brut) et
  etat « rien a relire » explicite avec explication
- libelles ajoutes dans les 13 langues de l'interface
- 5 tests backend nouveaux (tests/test_delete_translation_history.py)

core/redis.py

@@ -132,3 +132,21 @@ async def get_job_status_async(job_id: str) -> dict | None:
     except Exception as e:
         logger.warning("Redis get_job_status_async failed for %s: %s", job_id, e)
         return None
+
+
+async def delete_job_status_async(job_id: str) -> bool:
+    """Remove a job's status key from Redis (user deleted it from history).
+
+    Best-effort like the other job-status helpers: never raises, returns
+    True when the key was deleted, False when Redis is unavailable or the
+    key did not exist.
+    """
+    client = get_async_redis()
+    if not client:
+        return False
+    try:
+        key = f"{JOB_STATUS_KEY_PREFIX}:{job_id}"
+        return bool(await client.delete(key))
+    except Exception as e:
+        logger.warning("Redis delete_job_status_async failed for %s: %s", job_id, e)
+        return False