Modification du pretty printer et ajout d'exemples