« Opérateur de prédicat » : historique des versions


Sélection du diff : cochez les boutons radio des versions à comparer et appuyez sur entrée ou sur le bouton en bas.
Légende : (actu) = différence avec la dernière version, (diff) = différence avec la version précédente, m = modification mineure.

28 janvier 2024

22 décembre 2023

22 juillet 2023

17 avril 2021

13 septembre 2019