Pseudo-differential operators, theory and applications ;