More exercises done. Some of "Morecoq" and left for the future.