( Agence HavaS ).