We present final results from the first phase of the EROS search for gravitational microlensing of stars in the Magellanic Clouds by unseen deflectors (machos: MAssive Compact Halo Objects). The search is sensitive to events with time scales between 15 minutes and 200 days corresponding to deflector masses in the range 1.e-7 to a few solar masses. Two events were observed that are compatible with microlensing by objects of mass of about 0.1 Mo. By comparing the results with the expected number of events for various models of the Galaxy, we conclude that machos in the mass range [1.e-7, 0.02] Mo make up less than 20% (95% C.L.) of the Halo dark matter.

The computation of the magnification of a finite source by an arbitrary gravitational lens can be reduced from a two-dimensional to a one-dimensional integral using a generalization of Stoke's theorem. For a large source lensed by a planetary-system whose planet lies at the position where one of the two images would be in the absence of a planet, the integral can be done analytically. If the planet lies at the position of the major (unperturbed) image, the excess flux is the same as it would be for an isolated planet. If the planet lies at the minor image, there is no excess flux.