Bonjour Robert
Pour ma part, je mets les photos à la taille voulue avec Photoshop et ensuite, j'utilise webconverter (https://webp-converter.com/).
Cela dit, comme le remarque Manuel Voileux le gain est faible par rapport au format jpg ....