""" Cours de Droit – Hugging Face Space Compatible avec le Docker HF (gradio 4.44.1 bundled + Python 3.13). Téléchargement automatique du modèle au démarrage. """ import os, json, time, tempfile, random, threading, glob import sys try: import pyaudioop sys.modules["audioop"] = pyaudioop except ImportError: pass import gradio as gr try: import gradio_client.utils as _gcu import gradio.blocks as _gb _orig = _gcu.json_schema_to_python_type def _safe(schema): try: return _orig(schema) except Exception: return "Any" _gcu.json_schema_to_python_type = _safe _gb.client_utils.json_schema_to_python_type = _safe except Exception: pass try: from llama_cpp import Llama _LLAMA_AVAILABLE = True except ImportError: _LLAMA_AVAILABLE = False from gtts import gTTS from huggingface_hub import hf_hub_download try: from llama_cpp import Llama _LLAMA_OK = True except ImportError: _LLAMA_OK = False # ── Téléchargement et chargement du modèle ──────────────────────────────────── _llm = None _llm_lock = threading.Lock() def download_model(): model_path = "/app/model.gguf" if os.path.exists(model_path): print("[law-app] Modèle déjà présent.") return model_path print("[law-app] Téléchargement du modèle en cours...") try: path = hf_hub_download( repo_id="Qwen/Qwen2.5-0.5B-Instruct-GGUF", filename="qwen2.5-0.5b-instruct-q4_k_m.gguf", local_dir="/app", local_dir_use_symlinks=False, ) if path != model_path: os.rename(path, model_path) print("[law-app] Téléchargement terminé.") return model_path except Exception as e: print(f"[law-app] Erreur téléchargement : {e}") return None def get_llm(): global _llm if _llm is not None: return _llm if not _LLAMA_AVAILABLE: return None with _llm_lock: if _llm is not None: return _llm gguf_files = glob.glob("/app/*.gguf") + glob.glob("*.gguf") if not gguf_files: print("[spelling-app] No .gguf file found – AI tips disabled.") return None model_path = gguf_files[0] print(f"[spelling-app] Loading model: {model_path}") _llm = Llama(model_path=model_path, n_ctx=512, n_threads=2, n_gpu_layers=int(os.getenv("N_GPU_LAYERS", "-1")), verbose=False) print("[spelling-app] Model ready.") return _llm # ── Leçons ──────────────────────────────────────────────────────────────────── LESSONS = [ { "title": "Leçon 1 — Sources du droit et hiérarchie des normes", "text": """ Cours de droit civil. Introduction aux sources du droit français. Première partie : Les sources formelles du droit. Le droit français repose sur plusieurs sources hiérarchisées. Au sommet se trouve la Constitution du 4 octobre 1958, loi fondamentale de la République française. Elle établit les règles d'organisation de l'État et garantit les droits fondamentaux des citoyens. Sous la Constitution, on trouve les traités internationaux et le droit de l'Union européenne. En vertu de l'article 55 de la Constitution, les traités régulièrement ratifiés ont une autorité supérieure à celle des lois ordinaires. Vient ensuite la loi, votée par le Parlement. La loi ordinaire est adoptée par l'Assemblée nationale et le Sénat selon la procédure législative prévue par la Constitution. Les lois organiques, quant à elles, complètent et précisent certaines dispositions constitutionnelles et bénéficient d'un statut intermédiaire. Le règlement constitue la quatrième source majeure. Il émane du pouvoir exécutif : décrets du Président de la République et du Premier ministre, arrêtés ministériels, préfectoraux et municipaux. L'article 37 de la Constitution confère au gouvernement un domaine réglementaire autonome. Deuxième partie : Les sources matérielles du droit. La jurisprudence, bien qu'elle ne soit pas officiellement reconnue comme source formelle, joue un rôle fondamental dans le système juridique français. Les décisions de la Cour de cassation et du Conseil d'État interprètent et précisent la portée des textes légaux. Le Conseil constitutionnel contrôle la constitutionnalité des lois. La doctrine regroupe l'ensemble des travaux des juristes : professeurs, avocats, magistrats. Sans force obligatoire, elle influence néanmoins la jurisprudence et le législateur. La coutume, source ancienne, est aujourd'hui d'application limitée. En droit commercial, les usages professionnels conservent une importance certaine. Troisième partie : Le principe de hiérarchie des normes. Hans Kelsen, juriste autrichien du vingtième siècle, a théorisé la pyramide des normes. Chaque norme tire sa validité d'une norme supérieure. En France, le Conseil constitutionnel assure le respect de cette hiérarchie. """, "questions": [ {"q": "Quelle est la source au sommet de la hiérarchie des normes en droit français, et quelle est sa date ?", "hint": "Constitution, 4 octobre 1958, loi fondamentale"}, {"q": "Qu'est-ce que la pyramide des normes et qui en est le théoricien ?", "hint": "Hans Kelsen, hiérarchie des normes, validité tirée d'une norme supérieure"}, {"q": "Quel est le rôle de la jurisprudence dans le système juridique français ?", "hint": "interprète et précise les textes légaux, Cour de cassation, Conseil d'État"}, {"q": "Quelle différence y a-t-il entre une loi ordinaire et une loi organique ?", "hint": "loi ordinaire votée par le Parlement, loi organique complète la Constitution, statut intermédiaire"}, ], }, { "title": "Leçon 2 — Le droit des contrats", "text": """ Cours de droit civil. Le droit des contrats. Première partie : Définition et conditions de validité. Le contrat est un accord de volontés destiné à créer, modifier, transmettre ou éteindre des obligations. Le Code civil, issu de l'ordonnance du 10 février 2016, définit trois conditions de validité : le consentement des parties, leur capacité à contracter, et un contenu licite et certain. Le consentement doit être libre et éclairé. Il est vicié par l'erreur, le dol ou la violence. L'incapacité concerne les mineurs non émancipés et les majeurs protégés sous tutelle ou curatelle. Deuxième partie : Les effets du contrat. L'exécution obéit au principe de la force obligatoire : le contrat tient lieu de loi entre les parties. En cas d'inexécution : exécution forcée, résolution ou dommages et intérêts. L'effet relatif du contrat signifie que le contrat ne crée d'obligations qu'entre les parties contractantes. Les tiers ne peuvent en principe ni se prévaloir du contrat, ni se le voir opposer. Troisième partie : La formation du contrat. La formation du contrat passe par une offre et une acceptation. L'offre doit être précise et ferme. L'acceptation doit être pure et simple. Toute contre-proposition constitue une nouvelle offre. Les avant-contrats tels que la promesse unilatérale de vente ou le pacte de préférence permettent d'organiser la phase précontractuelle et d'encadrer les négociations entre les parties. """, "questions": [ {"q": "Quelles sont les trois conditions de validité d'un contrat selon le Code civil réformé en 2016 ?", "hint": "consentement, capacité, contenu licite et certain"}, {"q": "Quels sont les trois vices du consentement qui peuvent entraîner la nullité d'un contrat ?", "hint": "erreur, dol, violence"}, {"q": "Quelles personnes sont frappées d'incapacité contractuelle en droit français ?", "hint": "mineurs non émancipés, majeurs protégés sous tutelle ou curatelle"}, {"q": "Qu'est-ce que le principe de l'effet relatif du contrat ?", "hint": "le contrat ne crée d'obligations qu'entre les parties, les tiers ne peuvent ni s'en prévaloir ni se le voir opposer"}, ], }, { "title": "Leçon 3 — La responsabilité civile", "text": """ Cours de droit civil. La responsabilité civile. Première partie : Distinction responsabilité civile et pénale. La responsabilité civile répare le préjudice causé à autrui, contrairement à la responsabilité pénale qui sanctionne l'auteur d'une infraction. La responsabilité civile vise à remettre la victime dans l'état où elle se trouvait avant le dommage, par l'octroi de dommages et intérêts. Deuxième partie : La responsabilité délictuelle. La responsabilité délictuelle repose sur trois conditions : faute, dommage et lien de causalité. L'article 1240 du Code civil dispose que tout fait de l'homme causant un dommage oblige son auteur à le réparer. La faute peut être intentionnelle ou non intentionnelle. Le dommage doit être certain, direct et personnel. Le lien de causalité entre la faute et le dommage doit être prouvé par la victime. Troisième partie : La responsabilité sans faute. La responsabilité sans faute couvre trois domaines principaux. Le fait des choses : on est responsable des dommages causés par les choses dont on a la garde. Le fait d'autrui : les parents sont responsables des dommages causés par leurs enfants mineurs ; les commettants répondent des fautes de leurs préposés. Les produits défectueux : le producteur est responsable du dommage causé par un défaut de son produit, sans que la victime ait à prouver une faute. Quatrième partie : La responsabilité contractuelle. Lorsque le dommage résulte de l'inexécution d'un contrat, la responsabilité contractuelle s'applique. Elle suppose un contrat valable, une inexécution et un préjudice. Le débiteur peut s'exonérer en prouvant la force majeure, c'est-à-dire un événement imprévisible, irrésistible et extérieur. """, "questions": [ {"q": "Quelle est la différence entre responsabilité civile et responsabilité pénale ?", "hint": "civile répare le préjudice, pénale sanctionne l'auteur d'une infraction"}, {"q": "Quelles sont les trois conditions de la responsabilité délictuelle ?", "hint": "faute, dommage, lien de causalité, article 1240 Code civil"}, {"q": "Quels sont les trois domaines de la responsabilité sans faute ?", "hint": "fait des choses, fait d'autrui, produits défectueux"}, {"q": "Qu'est-ce que la force majeure en matière de responsabilité contractuelle ?", "hint": "événement imprévisible, irrésistible et extérieur, exonère le débiteur"}, ], }, ] LISTEN_SECONDS = 10 # 900 en production (15 min) PASS_SCORE = 6 # ── Cache audio par leçon ───────────────────────────────────────────────────── _audio_cache = {} _audio_lock = threading.Lock() def get_lecture_audio(lesson_idx): if lesson_idx in _audio_cache and os.path.exists(_audio_cache[lesson_idx]): return _audio_cache[lesson_idx] with _audio_lock: if lesson_idx in _audio_cache and os.path.exists(_audio_cache[lesson_idx]): return _audio_cache[lesson_idx] try: text = LESSONS[lesson_idx]["text"] tts = gTTS(text=text, lang="fr", slow=False) path = tempfile.mktemp(suffix=".mp3") tts.save(path) _audio_cache[lesson_idx] = path return path except Exception as e: print(f"[law-app] gTTS erreur : {e}") return None # ── État ────────────────────────────────────────────────────────────────────── def fresh(): return json.dumps({"phase": "idle", "listen_start": None, "question_idx": None, "lesson_idx": 0}) def S(s): return json.loads(s) def D(d): return json.dumps(d) # ── Évaluation ──────────────────────────────────────────────────────────────── def evaluate_answer(question, answer, hint): llm = get_llm() if llm is None: kw = [w.strip().lower() for w in hint.split(",")] hits = sum(1 for k in kw if k in answer.lower()) score = min(10, round((hits / max(len(kw), 1)) * 10)) return score, f"(Sans IA – mots-clés : {hits}/{len(kw)})" prompt = ( "<|im_start|>system\n" "Tu es un professeur de droit français strict et bienveillant. " "Tu évalues les réponses des étudiants et réponds UNIQUEMENT en JSON valide.\n" "<|im_end|>\n" "<|im_start|>user\n" f"Question : {question}\n" f"Réponse de l'étudiant : {answer}\n" f"Éléments attendus : {hint}\n\n" "Évalue cette réponse sur 10 et donne un commentaire bref en français.\n" "Réponds UNIQUEMENT avec ce JSON sur une seule ligne, sans rien d'autre :\n" '{"score": , "feedback": ""}\n' "<|im_end|>\n" "<|im_start|>assistant\n" ) try: out = llm( prompt, max_tokens=150, temperature=0.1, stop=["<|im_end|>", "\n\n", "###"], ) text = out["choices"][0]["text"].strip() print(f"[law-app] Réponse modèle : {text}") start = text.find("{") end = text.rfind("}") + 1 if start == -1 or end == 0: raise ValueError("Pas de JSON dans la réponse") data = json.loads(text[start:end]) return max(0, min(10, int(data["score"]))), data.get("feedback", "") except Exception as e: print(f"[law-app] Erreur éval : {e}") kw = [w.strip().lower() for w in hint.split(",")] hits = sum(1 for k in kw if k in answer.lower()) score = min(10, round((hits / max(len(kw), 1)) * 10)) return score, f"(Erreur modèle – mots-clés : {hits}/{len(kw)})" # ── Handlers ────────────────────────────────────────────────────────────────── def start_listening(ss): state = S(ss) lesson_idx = state.get("lesson_idx", 0) lesson = LESSONS[lesson_idx] state.update({"phase": "listen", "listen_start": time.time(), "question_idx": None}) audio = get_lecture_audio(lesson_idx) total = len(LESSONS) msg = ( f"🎧 **{lesson['title']}** ({lesson_idx + 1}/{total})\n\n" "Écoutez pendant **15 minutes** complètes, puis cliquez sur **🔄 Vérifier le temps**." ) return ( audio, msg, gr.update(visible=True), gr.update(visible=False), gr.update(visible=False), gr.update(visible=False), gr.update(interactive=False, value="⏳ Écoute en cours…"), D(state), ) def check_timer(ss): state = S(ss) if state["phase"] != "listen" or not state["listen_start"]: return gr.update(), "⚠️ Lancez d'abord l'écoute.", ss rem = max(0, LISTEN_SECONDS - (time.time() - state["listen_start"])) m, s = divmod(int(rem), 60) if rem <= 0: return ( gr.update(interactive=True, value="✅ Accéder au Quiz"), "✅ Durée atteinte ! Cliquez sur **Accéder au Quiz**.", ss, ) return ( gr.update(interactive=False, value=f"⏳ Encore {m:02d}:{s:02d}"), f"🎧 Patientez encore **{m} min {s:02d} s**.", ss, ) def open_quiz(ss): state = S(ss) elapsed = time.time() - (state["listen_start"] or 0) if elapsed < LISTEN_SECONDS: m, s = divmod(int(LISTEN_SECONDS - elapsed), 60) return ( gr.update(visible=True), gr.update(visible=False), gr.update(visible=False), gr.update(visible=False), f"⚠️ Patientez encore **{m} min {s:02d} s**.", "", "", ss, ) lesson_idx = state.get("lesson_idx", 0) idx = random.randrange(len(LESSONS[lesson_idx]["questions"])) state.update({"phase": "quiz", "question_idx": idx}) return ( gr.update(visible=False), gr.update(visible=True), gr.update(visible=False), gr.update(visible=False), "", LESSONS[lesson_idx]["questions"][idx]["q"], "", D(state), ) # ── Submit avec désactivation immédiate du bouton ──────────────────────────── def submit_answer(answer, ss): state = S(ss) lesson_idx = state.get("lesson_idx", 0) if state["phase"] != "quiz": yield ( gr.update(visible=True), gr.update(visible=False), gr.update(visible=False), gr.update(visible=False), "", gr.update(value="📤 Soumettre", interactive=True), gr.update(interactive=True), ss, ) return # ── Étape 1 : désactiver immédiatement bouton + textbox ────────────────── yield ( gr.update(visible=False), gr.update(visible=True), gr.update(visible=False), gr.update(visible=False), "", gr.update(value="⏳ Réponse soumise — Correction en cours…", interactive=False), gr.update(interactive=False), ss, ) # ── Étape 2 : évaluation IA (peut prendre quelques secondes) ───────────── q = LESSONS[lesson_idx]["questions"][state["question_idx"]] score, fb = evaluate_answer(q["q"], answer, q["hint"]) total = len(LESSONS) is_last = (lesson_idx >= total - 1) if score >= PASS_SCORE: state["phase"] = "pass" result = ( f"## 🎉 Bravo ! Leçon {lesson_idx + 1}/{total} réussie.\n\n" f"**Score : {score}/10**\n\n**Commentaire :** {fb}" ) next_label = "🏆 Voir mon certificat" if is_last else f"➡️ {LESSONS[lesson_idx + 1]['title']}" else: state["phase"] = "fail" result = ( f"## ❌ Score insuffisant : {score}/10\n\n" f"**Commentaire :** {fb}\n\n" f"Seuil requis : **{PASS_SCORE}/10**. " "Veuillez **réécouter la leçon** avant de retenter." ) next_label = "🔄 Réécouter la leçon" # ── Étape 3 : afficher résultat, réactiver bouton, mettre à jour next_btn ─ yield ( gr.update(visible=False), gr.update(visible=False), gr.update(visible=True), gr.update(visible=False), result, gr.update(value="📤 Soumettre", interactive=True), gr.update(value="", interactive=True), D(state), ) def handle_next(ss): state = S(ss) lesson_idx = state.get("lesson_idx", 0) total = len(LESSONS) if state["phase"] == "fail": return start_listening(D(state)) if lesson_idx >= total - 1: state["phase"] = "done" cert = ( "# 🏆 Félicitations !\n\n" "Vous avez complété avec succès les **3 leçons** du cours de droit civil :\n\n" "✅ Leçon 1 — Sources du droit et hiérarchie des normes\n\n" "✅ Leçon 2 — Le droit des contrats\n\n" "✅ Leçon 3 — La responsabilité civile\n\n" "---\n\n" "*Ce certificat atteste de votre participation et de votre réussite " "aux évaluations du cours de droit civil.*" ) return ( None, "", gr.update(visible=False), gr.update(visible=False), gr.update(visible=False), gr.update(visible=True), gr.update(interactive=False, value="✅ Terminé"), D(state), ) else: state["lesson_idx"] = lesson_idx + 1 state["listen_start"] = None return start_listening(D(state)) def restart_from_cert(ss): return start_listening(fresh()) # ── UI ──────────────────────────────────────────────────────────────────────── CSS = "footer{display:none!important;} #title{text-align:center;}" with gr.Blocks(title="Cours de Droit", css=CSS) as demo: session = gr.State(fresh()) gr.Markdown( "# ⚖️ Cours de Droit — Formation Juridique\n" "Écoutez chaque leçon · Répondez à la question · Progressez leçon par leçon", elem_id="title", ) with gr.Column(visible=True) as listen_col: gr.Markdown("## 🎧 Étape 1 — Écoute de la leçon") listen_msg = gr.Markdown("Cliquez sur **Démarrer** pour commencer.") audio_out = gr.Audio(label="Cours audio (français)", autoplay=False, interactive=False) timer_info = gr.Markdown("") with gr.Row(): start_btn = gr.Button("▶️ Démarrer l'écoute" + str(_LLAMA_OK), variant="primary") check_btn = gr.Button("🔄 Vérifier le temps", variant="secondary") quiz_btn = gr.Button("✅ Accéder au Quiz", variant="secondary", interactive=False) with gr.Column(visible=False) as quiz_col: gr.Markdown("## 📝 Étape 2 — Question d'évaluation") question_md = gr.Markdown("") answer_box = gr.Textbox(label="Votre réponse", placeholder="Rédigez ici…", lines=5) submit_btn = gr.Button("📤 Soumettre", variant="primary") with gr.Column(visible=False) as result_col: gr.Markdown("## 📊 Résultat") result_md = gr.Markdown("") next_btn = gr.Button("➡️ Leçon suivante", variant="primary") with gr.Column(visible=False) as cert_col: cert_md = gr.Markdown("") restart_btn = gr.Button("🔄 Recommencer depuis le début", variant="secondary") # ── Câblage ─────────────────────────────────────────────────────────────── LISTEN_OUT = [audio_out, listen_msg, listen_col, quiz_col, result_col, cert_col, quiz_btn, session] start_btn.click(start_listening, [session], LISTEN_OUT) check_btn.click(check_timer, [session], [quiz_btn, timer_info, session]) QUIZ_OUT = [listen_col, quiz_col, result_col, cert_col, timer_info, question_md, answer_box, session] quiz_btn.click(open_quiz, [session], QUIZ_OUT) # ── submit_answer est un générateur → outputs inclut submit_btn et answer_box RES_OUT = [listen_col, quiz_col, result_col, cert_col, result_md, submit_btn, answer_box, session] submit_btn.click(submit_answer, [answer_box, session], RES_OUT) answer_box.submit(submit_answer, [answer_box, session], RES_OUT) next_btn.click(handle_next, [session], LISTEN_OUT) restart_btn.click(restart_from_cert, [session], LISTEN_OUT) # ── Préchargement du modèle au démarrage ────────────────────────────────────── threading.Thread(target=get_llm, daemon=True).start() if __name__ == "__main__": demo.launch(server_name="0.0.0.0", server_port=7860, show_error=True)