$Pi a déjà décollé à 0.00030 !