Considérese formula_11.