Règle de trois (programmation informatique)