J'ai déjà trouvé la question ici http://lists.tranquil.it/pipermail/wapt/2015-September/001283.html, et j'ai peut-être loupé la réponse (à ce propos si quelqu'un à une astuce pour optimiser les recherches sur des listes de diffusion je prend), mais peut-on filtrer les machines par version d'O.S. ?