Le 20/09/2012 18:55, bearophile a écrit : > Timon Gehr: > >> Formalising it is not hard, > > I am not sure of this, given the amount of special cases it already has. > This is made for less special cases. Which is an improvement.