"Idris statique"