Realband a eu droit aussi à une maj, build 5, discrète, le 4 octobre. Plusieurs anomalies apparues avec la v2022 (c'est-à-dire qu'il y a pas mal de temps...)sont corrigées... RB est le parent pauvre chez PG... Des fois je me demande, est-ce qu'il y a dans le monde quelqu'un d'autre que moi qui l'utilise ? :-)