Un outil pour changer facilement la taille de la fenêtre sur les systèmes Windows.
Il suffit de faire glisser les coins de la fenêtre pour ajuster sa taille.