Informática y sistemas formales en Jean Ladrière