Replaced word ligatures by correct characters

The original document was created using Microsoft Word.
That's why some words contained ligatures joining two
characters. Example: "deﬁnition" instead of "definition"