réécriture de find_singleton dans formule