[Random] An afternoon on the spectral theory of pseudo-differential operators