Corrigé de certains exercices du TD de logique No 4 (23 et 26 ...

avec la biblioth`eque RMI (Remote Methods Invocation) qui propose de la pro- ... sous forme d'exercice, présenté dans le chapitre 3, voir exercice 25) on pourra.