Barre verticale pour preuves et cadre ombre

Bonjour,

Pour la barre à gauche dans l'environnement 'proof', voir Using other theorem environments with tcolorbox dans le manuel de tcolorbox. Pour le reste, à nouveau tcolorbox en se basant par exemple sur mes exemples d'ici et là, puis la section Shadow Option Keys du manuel de tcolorbox.

P.S. : le dernier lien semble ne plus marcher (« Désolé, le message demandé est introuvable »). La première fois que je l'ai chargé il y a quelques minutes, ça passait sans problème et je suis sûr d'avoir bien chargé les deux derniers liens (dans l'un, les théorèmes, lemmes, etc. étaient numérotés ; dans l'autre non, et ça se voit illico sur la capture d'écran). Y aurait-il un problème avec la base de données du forum ? Le fil a-t-il été supprimé ?..