Ajout de deux commits

Ajout des notes du 19 mai ; ajout de la nouvelle version du Shelldict avec les bugs connus résolus.