There is a pointer to the improvements for TCP in the Ericsson Eifel license that I mentioned. The first paragraph contains a reference to the Internet-Draft that describes the Eifel algorithm. Mind you, this is a draft and not yet an RFC.
In the References section of the draft, there is a link to a paper that gives a bit more information about why the Eifel algorithm could be useful for TCP.
Oh and by the way, I come from the french-speaking part of Belgium, not from France. ;-)
I just saw your AskAdvogato message in which you ask how to keep ants out without killing them. Although killing them is usually the easiest solution (using boxes with small ant-sized holes containing a poison that the ants eat), the best way to keep them out is to make it hard for them to get in. If it is not possible for you to seal all openings in your house, you can try to smear grease in their path, or to use chalk or talc powder around the openings through which the ants enter your house. They hate these things because it makes it harder for them to walk, and they give up after a while... or find another opening that you had forgotten. Good luck!