Projet de mise en oeuvre d'un équipement d'étude et de surveillance sur le volcan Lombenben (île d'Aoba-République du Vanuatu) = Proposal for the installation of monitoring equipment on the volcano Lombenben (Ambae island, Republic of Vanuatu)

Ce rapport rassemble les principales informations qui ont justifiées la demande de mise sous surveillance de la zone sommitale du volcan Lombenben sur l'île d'Aoba (environ 10 000 habitants). Il fait état de quelques données récentes et décrit l'ensemble des travaux qui seront conduits dans les prochains mois. (Résumé d'auteur

The Galactic disk mass-budget : II. Brown dwarf mass-function and density

In this paper, we extend the calculations conducted previously in the stellar regime to determine the brown dwarf IMF in the Galactic disk. We perform Monte Carlo calculations taking into account the brown dwarf formation rate, spatial distribution and binary fraction. Comparison with existing surveys seems to exclude a power-law MF as steep as the one determined in the stellar regime below 1 \msol and tends to favor a more flatish behaviour. Comparison with methane-dwarf detections tends to favor an eventually decreasing form like the lognormal or the more general exponential distributions determined in the previous paper. We calculate predicting brown dwarf counts in near-infrared color diagrams and brown dwarf discovery functions. These calculations yield the presently most accurate determination of the brown dwarf census in the Galactic disk. The brown dwarf number density is comparable to the stellar one, $n_{BD}\simeq n_\star\simeq 0.1$ pc$^{-3}$. The corresponding brown dwarf mass density, however, represents only about 10% of the stellar contribution, i.e. \rho_{BD}\simle 5.0\times 10^{-3} \mvol. Adding up the local stellar density determined previously yields the density of star-like objects, stars and brown dwarfs, in the solar neighborhood \rho_\odot \approx 5.0\times 10^{-2} \mvol.Comment: 39 pages, Latex file, uses aasms4.sty, to be published in ApJ, corrected version with correct figure

Double stars with wide separations in the AGK3 - I. Components that are themselves spectroscopic binaries

Wide binaries are tracers of the gravity field of the Galaxy, but their study requires some caution. A large list of common proper motion stars selected from the third Astronomischen Gesellschaft Katalog (AGK3) was monitored with the CORAVEL (for COrrelation RAdial VELocities) spectrovelocimeter, in order to prepare a sample of physical binaries with very wide separations. 66 stars received special attention, since their radial velocities (RV) seemed to be variable. These stars were monitored over several years in order to derive the elements of their spectroscopic orbits. In addition, 10 of them received accurate RV measurements from the SOPHIE spectrograph of the T193 telescope at the Observatory of Haute-Provence. For deriving the orbital elements of double-lined spectroscopic binaries (SB2), a new method was applied, which assumed that the RV of blended measurements are linear combinations of the RV of the components. 13 SB2 orbits were thus calculated. The orbital elements were eventually obtained for 52 spectroscopic binaries (SB), two of them making a triple system. 40 SB received their first orbit and the orbital elements were improved for 10 others. In addition, 11 SB were discovered with very long periods for which the orbital parameters were not found. The median period of the 40 first orbits is 1 yr, and several SB should be resolved or should receive an astrometric orbit in future, providing the masses of the components. In addition, it appeared that HD 153252 has a close companion, which is a candidate brown dwarf with a minimum mass of 50 Jupiter masses. The final selection of wide binaries and the derivation of their statistical properties will be presented in a second pape

Five New Transits of the Super-Neptune HD 149026

We present new photometry of HD 149026 spanning five transits of its "super-Neptune" planet. In combination with previous data, we improve upon the determination of the planet-to-star radius ratio: R_p/R_star = 0.0491^{+0.0018}_{-0.0005}. We find the planetary radius to be 0.71 +/- 0.05 R_Jup, in accordance with previous theoretical models invoking a high metal abundance for the planet. The limiting error is the uncertainty in the stellar radius. Although we find agreement among four different ways of estimating the stellar radius, the uncertainty remains at 7%. We also present a refined transit ephemeris and a constraint on the orbital eccentricity and argument of pericenter, e cos(omega) = -0.0014 +/- 0.0012, based on the measured interval between primary and secondary transits.Comment: To appear in ApJ [19 pages

A pair of planets around HD 202206 or a circumbinary planet?

Long-term precise Doppler measurements with the CORALIE spectrograph reveal the presence of a second planet orbiting the solar-type star HD202206. The radial-velocity combined fit yields companion masses of m_2\sini = 17.4 M_Jup and 2.44 M_Jup, semi-major axes of a = 0.83 AU and 2.55 AU, and eccentricities of e = 0.43 and 0.27, respectively. A dynamical analysis of the system further shows a 5/1 mean motion resonance between the two planets. This system is of particular interest since the inner planet is within the brown-dwarf limits while the outer one is much less massive. Therefore, either the inner planet formed simultaneously in the protoplanetary disk as a superplanet, or the outer Jupiter-like planet formed in a circumbinary disk. We believe this singular planetary system will provide important constraints on planetary formation and migration scenarios.Comment: 9 pages, 14 figures, accepted in A&A, 12-May-200

The Best Brown Dwarf Yet?: A Companion to the Hyades Eclipsing Binary V471 Tau

We have carried out an analysis of about 160 eclipse timings spanning over 30 years of the Hyades eclipsing binary V471 Tauri that shows a long-term quasi-sinusoidal modulation of its observed eclipse arrival times. The O-Cs have been analyzed for the ``light-time'' effect that arises from the gravitational influence of a tertiary companion. The presence of a third body causes the relative distance of the eclipsing pair to the Earth to change as it orbits the barycenter of the triple system. The result of the analysis of the eclipse times yields a light-time semi-amplitude of 137.2+/-12.0 s, an orbital period of P_3 = 30.5+/-1.6 yr and an eccentricity of e_3 = 0.31+/-0.04. The mass of the tertiary component is M_3 sin i_3 = 0.0393+/-0.0038 Mo when a total mass of 1.61+/-0.06 Mo for V471 Tau is adopted. For orbital inclinations i_3 > 35 deg, the mass of the third body would be below the stable hydrogen burning limit of M = 0.07 Mo and it thus would be a brown dwarf. In the next several years (near maximum elongation), it should be feasible to obtain IR images and spectra of V471 Tau C that, when combined with the known mass, age, distance, and [Fe/H], will serve as a benchmark for understanding the physical properties and evolution of brown dwarfs.Comment: 9 pages, 3 figures, accepted for publication in ApJ Letter

A Renaissance study of Am stars. I. The mass ratio distribution

Triggered by the study of Carquillat & Prieur (2007, MNRAS, 380, 1064) of Am binaries, I reanalyse their sample of 60 orbits to derive the mass ratio distribution (MRD), assuming as they did a priori functional forms, i.e. a power law or a Gaussian. The sample is then extended using orbits published by several groups and a full analysis of the MRD is made, without any assumption on the functional form. I derive the MRD using a Richardson-Lucy inversion method, assuming a fixed mass of the Am primary and randomly distributed orbital inclinations. Using the large sub-sample of double-lined spectroscopic binaries, I show that this methodology is indeed perfectly adequate. Using the inversion method, applied to my extended sample of 162 systems, I find that the final MRD can be approximated by a uniform distribution.Comment: 7 pages, 9 figures; Accepted by A&

Scaling Bounded Model Checking By Transforming Programs With Arrays

Bounded Model Checking is one the most successful techniques for finding bugs in program. However, model checkers are resource hungry and are often unable to verify programs with loops iterating over large arrays.We present a transformation that enables bounded model checkers to verify a certain class of array properties. Our technique transforms an array-manipulating (ANSI-C) program to an array-free and loop-free (ANSI-C) program thereby reducing the resource requirements of a model checker significantly. Model checking of the transformed program using an off-the-shelf bounded model checker simulates the loop iterations efficiently. Thus, our transformed program is a sound abstraction of the original program and is also precise in a large number of cases - we formally characterize the class of programs for which it is guaranteed to be precise. We demonstrate the applicability and usefulness of our technique on both industry code as well as academic benchmarks

Elodie metallicity-biased search for transiting Hot Jupiters I. Two Hot Jupiters orbiting the slightly evolved stars HD118203 and HD149143

We report the discovery of a new planet candidate orbiting the subgiant star HD118203 with a period of P=6.1335 days. The best Keplerian solution yields an eccentricity e=0.31 and a minimum mass m2sin(i)=2.1MJup for the planet. This star has been observed with the ELODIE fiber-fed spectrograph as one of the targets in our planet-search programme biased toward high-metallicity stars, on-going since March 2004 at the Haute-Provence Observatory. An analysis of the spectroscopic line profiles using line bisectors revealed no correlation between the radial velocities and the line-bisector orientations, indicating that the periodic radial-velocity signal is best explained by the presence of a planet-mass companion. A linear trend is observed in the residuals around the orbital solution that could be explained by the presence of a second companion in a longer-period orbit. We also present here our orbital solution for another slightly evolved star in our metal-rich sample, HD149143, recently proposed to host a 4-d period Hot Jupiter by the N2K consortium. Our solution yields a period P=4.09 days, a marginally significant eccentricity e=0.08 and a planetary minimum mass of 1.36MJup. We checked that the shape of the spectral lines does not vary for this star as well.Comment: Accepted in A&A (6 pages, 6 figures