Total: nieuwe gasvondst in Algerije