Arithmetical compactification of mixed Shimura varieties | lit.salon