sharp develop : changement de taille richtextbox par programmation

Version imprimable