Aucune réponse à certains paquets SYN lorsque les horodatages sont activés

J'ai un serveur TCP qui écoute sur une machine ("le serveur") exécutant Ubuntu 12.04.3 (noyau 3.8.0-31-générique). Il reçoit les connexions de 2 machines client différentes. La machine A exécute Ubuntu 12.04.4 (3.11.0-17-générique) et la machine B exécute Ubuntu 11.10 (3.0.0-32-server). Si les...