Fichiers non inclus dans le dépôt

Certains fichiers dépassent la limite pratique/technique d’un dépôt GitHub. Ils ne sont pas intégrés au site statique ; ajouter les originaux comme assets de GitHub Releases puis mettre à jour les liens avant publication.

• download/dsPicScreencastFromMariano.mov — 168,921,003 octets