Formal first integrals along solutions of differential systems I. - Ainhoa Aparicio-Monforte; Moulay A. Barkatou; Sergi Simon; Jacques-Arthur Weil (ISSAC, 2011)