Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: Encontre o total de créditos de carbono obtidos por empresas de energia renovável na França.
 ###Tabelas: 
CREATE TABLE carbon_credits (company_name VARCHAR(30), country VARCHAR(20), credits NUMERIC(10,2)); INSERT INTO carbon_credits (company_name, country, credits) VALUES ('CompanyA', 'France', 1200.5), ('CompanyB', 'France', 950.0), ('CompanyC', 'France', 800.2), ('CompanyD', 'France', 700.0);
SELECT SUM(credits) FROM carbon_credits WHERE country = 'France';