Ajout de contextes et typage de quelques expressions