Mila's corrections

A new directory `mila' with Mila's corrections (sent on monday
05/08/2013 to Israel) is now included. This corrections refer to the
main source: manuscript.tex

rr