next up previous contents
Next: Factorisation. Up: Les utilitaires de la Previous: Les utilitaires de la

Transformations de types et simplifications.

  Il s'agit de: