Fixed two little errors about a missing reference to Maxima output
and augmented a "convolution" context in order to match better the
convolution property application.
Done little corrections and augmenting some statements to get them clearer
Copied the revised version before exams