Théorique SPL et FI(S)