Historique: NouveauxArrivants

• Pensez à renseigner la liste des stagiaires et l'Annuaire des membres de l'équipe à la rubrique correspondante

Comptes informatiques

• Ils sont créés par les ingénieurs de STAFF (bureau 84), à qui il faut s'adresser ensuite soit physiquement (bureau 84 à côté des bureaux de Michèle et Marc), soit par mailto:staff@lri.fr une fois le compte créé.
• Il y a deux répertoires NFS : /users/dsa/ (458Go en 2005, aussi monté pour raisons historiques sous le nom de /users/tao/) et /users/tao-nosave (380 Go en 2005). Votre "home dir" est sur /users/dsa/. Comme les noms l'indiquent, seul /users/tao est sauvegardé. Pensez donc à mettre sur /users/tao-nosave ce qui ne nécessite pas de sauvegarde (multi-media, gros résultats après gravage, ...).
• Les machines de TAO sont (sauf exceptions historiques) sous Mandrake (Mandriva 2005 ou 2006 suivant les cas), mais installées par nos soins (voir Installation Mandrake. Sur chacune des machines de TAO, un membre de TAO au moins a les droits root - renseignez-vous.
• Wiki : vous y êtes ! Le même Wiki sert à la fois pour le site public dle TAO et pour les affaires privée, et l'accès est autorisé ou non suivant le groupe auquel vous appartenez. Si vous êtes ici, cc'est que vous êtes dans le groupe TAO par exemple.
  • Historiquement, il y avait 3 Wikis, un public, un privé et un très privé pour les permanents (avec un mot de passe unique pour chacun des 2 Wikis privés).
• A la création du compte sur le serveur du lri, les 2 adresses login à lri.fr et Prénom.Nom@lri.fr sont activées. Vous pouvez utiliser n'importe quel client mail, et, de l'extérieur (ou de l'intérieur , le Webmail LRI. Il est possible aussi de forwarder les mails de cette boîte en créant un fichier .forward dans son répertoire home.
• Le détail du fonctionnement du réseau du LRI : http://web-int.lri.fr/doc/manuel_du_lri/introduction.fr.shtml
• En tant que membre du LRI, vous pouvez faire partie de certaines mailing-lists dont la liste se trouve là : http://web-int.lri.fr/doc/liste-alias.html Celles-ci sont gérés par un robot Majordomo qu'il suffit de contacter par mail à partir de la boîte interne ( Webmail LRI ). En bref, il suffit d'envoyer un mail en interne à l'adresse majordomo (sans le nom de domaine qui est en fait auto complété) avec un objet vide et d'y mettre la commande : subscribe nom_de_la_liste

Services informatiques

• Pour calculer:
  • Il y a un cluster à l'INRIA-Alpes, avec une page web pour le présenter. Pour avoir un compte, il faut suivre une procédure à base de formulaire décrivant le projet. C'est un cluster d'Itanium 2 sous Red Hat Linux (jeu d'instruction IA-64, et non pas IA-32 comme les x86 classiques). Les binaires x86/Linux sont exécutés, mais en émulation, et c'est beaucoup plus lent que sur un x86 (facteur 4 ou 5 avec un Pentium 4 @ 2GHz). Il faut donc recompiler en code natif Itanium 2 pour des perfs décentes. Sur place, il y a le choix entre GCC et icc (le compilateur propriétaire d'Intel). Noter que la liste des logiciels installés n'est manifestement pas à jour, puisque je n'ai pas trouvé GCC 3.3.2 dans les /usr/local/. J'ajoute qu'on peut trouver GCC 3.3.2 quand même, en trichant : sur le front-end du cluster, il y a un répertoire avec ce qui semblent être des images des disques des nodes, mais archivées, pas courantes. Sur ces images, on trouve GCC 3.3.2, utilisable... À y repenser, je déconseille d'utiliser le i-Cluster2 à moins de savoir écrire du code pour IA64. Le même code qui compile tant pour IA32 que IA64 avec GCC, peut ne pas bien s'exécuter sur IA64...
  • Il y a un cluster decalcul au LRI. Il faut contacter Vincent Neri. L'état du cluster, depuis l'intranet du LRI, est visible. Il s'agit d'un cluster de machines x86 sous Debian Linux, accessibles par ssh, nommées sim00 à sim92. Pour y accéder, il n'est pas nécessaire de recréer un compte : c'est celui du LRI. Il n'y a pas d'outil de soumission de batch. L'inscription à la liste de diffusion est automatique dès la première connexion à une machine du cluster.
• Pour la gestion concurrente de données partagées sur un projet, il y a un serveur Subversion

Secrétariat

• Il y a à l'INRIA une assistante pour 2 ou 3 projets, qui doit être l'interface entre les chercheurs et l'administration en générale, celle de l'INRIA en articulier (budgets, missions, personnel rémunéré par l'INRIA, ...).
  • Marie-Carol est l'assistance des projets TAO, PROVAL et SELECT, 3 projets PCRI/INRIA localisés à l'Université de Paris Sud, TAO et PROVAL au LRI, SELECT au bâtiment 425 (Maths). En tant que membre de TAO, c'est à Marie-Carol qu'il faut s'adresser pour tout problème administratif, elle relaiera éventuellement vers le service LRI concerné si elle n'est pas directement habilitée, car ...
• Il y a au LRI un ensemble d'assistantes, qui sont au service de TOUT le LRI. Chacune a en charge une partie de la vie du laboratoire. L'ensemble de ces assistantes se trouve dans le couloir Nord en face du couloir principal de TAO.
  • En particulier, Geneviève Sabater est chargée du personnel, et cous l'avez sûrement rencontrée si vous avez rempli l'ensemble réglementaire de formulaires ad hoc le jour de votre arrivée.

Fiches de liaison, de renseignements

En plus de tout le reste, Geneviève Sabater vous demandera de compléter ces fiches qu'elle peut vous donner elle-même format papier et que vous pouvez aussi trouver en ligne (formulaire imprimable) http://www.lri.fr/~goasdoue/ADM/ qu'il faudra dans tous les cas lui rapporter afin de disposer du badge (entre autres).

Photocopieuse

Aile Nord RdC (Couloir administration LRI, Salle photocopieuse). Pour bénéficier d'un compte de photocopieuse, il suffit d'aller voir Brigitte Savigny (un peu plus loin dans le même couloir). Limite à 1000 copies, après il faut retourner voir Mme Savigny pour débloquer le compte.

Accès

• Pour accéder aux bureaux, il faut un badge magnétique, que l'on obtient auprès de Genevièce Sabater
• Le nom de la rue du bâtiment 490 est "rue du Doyen Joseph Peres".
• Plan de la faculté d'Orsay Plan du campus d'Orsay
• L'accès de nuit (après 20h) est possible à condition d'entrer le digicode (98650 en 2006)

Cantine

Pour manger à la cantine, il faut une carte. Pour avoir la carte, il faut un papier, qu'on donne à la dame la première fois qu'on va manger. Ce papier vous parviendra soit via notre assistante si vous êtes rémunéré par l'INRIA, soit par la poste après remplissage des formulaires ad hoc auprès de Geneviève Sabater si vous n'êtes pas rémunéré par l'INRIA (fait partie du package de formulaires que vous avez normalement rempli le jour de votre arrivée).

Fournitures

• Pour des trombones, des agrafes, des craies, des crayons, il faut s'adresser à Jean-Francois Paragaud, bureau 82 (quand c'est ouvert mais qu'il n'y a personne, on se sert et on écrit sur le cahier qui traine ce qu'on a pris et à quelle date).

Bibliothèque

• Elle est au 2ème étage (fond du couloir à gauche), et on peut y accéder 7/7 jours 24/24 heure si on a le badge magnétique (lecteur sur le mur de gauche). Le catalogue est en ligne. Emprunt de livre en absence de la bibliothequaire : remplir la fiche du livre et la deposer sur le bureau. Les revues et proceedings doivent etre lu/photocopies sur place.

Qqs points spécialement pour les stagiaires

• pensez à demander des lettres de recommandation à votre entourage (permanents de l'équipe) avant de partir en fin de stage ; pensez à les demander dans la(les) langues qui vous seront utiles
• votre responsable de stage est votre ami n'hésitez pas à dire "je n'ai rien compris, on pourrait rediscuter depuis le début ?" ou "je comprends rien au code C++ qui est là, c'est grave docteur ?"

Imprimantes

Il y a une/des imprimantes, dont les caractéristiques et la localisation sont plus ou moins clairement indiquées dans le Manuel du LRI http://web-int.lri.fr/doc/manuel_du_lri/HTML/node58.html

Plus synthétiquement :

Imprimantes	Location	Notes
-	-	---
Q02	Aile Sud RdC (couloir TAO)	Laser N&B
L12	Aile Sud 1er étage (au dessus de Q02)	Laser N&B en cas de passe de Q02
hp_pao	Aile Nord RdC (Couloir administration LRI, Salle photocopieuse)	Laser Couleur, Impression sur transparents rétroprojecteur possible : demander du matos à M. Paragaud s'il n'y en a pas qui traine à côté. Dans ce cas, Utiliser des feuillets transparents spécialement étudiés pour__, sous peine de fonte de transparents dans l'imprimante. Si le chargement des feuilles se fait dans le sens paysage (par défaut), ne pas utiliser des transparents avec feuillet de papier où l'autocollant est le long du bord court, ça bourre systématiquement.
traceur (?)	Aile Nord RdC (Couloir administration LRI, Salle photocopieuse)	Impression Poster (à utiliser avec parsimonie)

Accès Internet depuis l'extérieur

Voir la page Accès Internet depuis l'extérieur

Cas particuliers de la thèse au LRI

• Le dossier est à récupérer au 2e étage chez la représentante de l'école doctorale (Stéphanie Druetta).
• Le dossier financier (pour une allocation MENRT) nécessite la signature de la présidente qui peut-être obtenue en confiant le papier signé à la même Stéphanie Druetta. Ce dossier devra ensuite être amené chez Mme Colson au bâtiment 301 service du personnel porte 27 au 1er étage à droite (01 69 15 74 15).
• Le dossier administratif (pour obtenir la carte d'étudiant) est à amener complet au RdC du bâtiment 301 où vous trouverez 3 portes qui répartissent les étudiants en 3 en fonction de la première lettre patronymique.
• L'établissement de la carte CESFO se fait au bâtiment 301 porte 31 au 1er étage tout de suite à droite une fois que le dossier financier est rendu.