Avez-vous travaillé avec l'opérateur infer ? À quoi sert-il et où l'avez-vous appliqué ?