TD 5 - Analyse statique et minimisation