Séance de cours
Cette séance de cours couvre les bases de l'écriture et de la vérification du code Scala à l'aide du fichier Demo.scala. Il comprend la définition de fonctions avec des conditions préalables et des postconditions, la résolution des conditions de vérification et la gestion des hits et miss du cache.