> I have done the following:
[...]
 >   * did the same tests after having disabled font-lock mode
 >     Obtained same results except that re-indenting without font-lock
 >     is a *lot* slower.

Very good, thanks.  My patch was very silly in this regard.  Please try
again.