simplified writing of the sum of an integer and a square root
Put `8-sqrt(30)` in the form `a-b*sqrt(30)`, where a and b are two natural numbers.
This type of exercise can be solved using the function : simplify_surd
Course reminder : Real functions