When dealing with large linear systems with a prescribed structure, two key ingredients are important for designing fast solvers: the first is the computational analysis of the structure which is usually inherited from an underlying infinite dimensional problem, the second is the spectral analysis which is often deeply related to a compact symbol, again depending on the infinite dimensional problem of which the linear system is a given approximation. When considering the computational viewpoint, the first ingredient is useful for designing fast matrix-vector multiplication algorithms, while the second ingredient is essential for designing fast iterative solvers (multigrid, preconditioned Krylov etc), whose convergence speed is optimal in t...