taille de la div de droite (en px)