La science informatique : une incantation ou une démonstration ?