Senegal expects a budget deficit of about 7% of gross domestic product in 2025, according to government proposals seen by Reuters on Saturday, down from the 10% revealed in an audit that triggered a freeze on the country’s $1.9 billion IMF programme.