New exercises for Sémantique axiomatique.