A little semantics/axiomatics for value predicates. Ok, I know there is a significant literature on this, but it's also fun to do things by oneself! (Billet en anglais pour cette fois-ci)