Date Range
Date Range
Date Range
And especially the OCaml Programming Language. Programming of Massively Distributed Systems. Type-checking and JIT compilation of Scilab code. One of the main results is Scilint. Improvement and Optimization of automatic theorem provers for Atelier B, and especially the Alt-Ergo.
When you open your mind to the impossible, you often find the truth.
Mois de la Photo, CPCA. Du Festival Photographique International de Cannes 2008. De la Municipalité de Choisy le Roi. La Société Régionale des Beaux-Arts. FESTIVAL PHOTOGRAPHIQUE de CANNES,.
Regroupement des quelques trip de nos vacances, de nos soirées, de nos délires. Subscribe to my blog! Couché de soleil sur tarifa. Couché de soleil en forme de champignon! Un tripe, le soleil nous a montré une forme un peu spéciale. Couché de soleil sous un autre angle.