Abstract Interpretation Jussieu